- получение (логического) вывода
- Information technology: inferencing
Универсальный русско-английский словарь. Академик.ру. 2011.
получение (логического) вывода
Смотреть что такое "получение (логического) вывода" в других словарях:
ТЕОРИЯ — (от греч. theoria рассмотрение, исследование) совокупность высказываний, замкнутых относительно логического следования. Такое предельно общее и наиболее абстрактное определение Т. дает логика. С логической т.зр. теорией можно назвать любое… … Философская энциклопедия
Логическая модель представления знаний — Логическая модель представления знаний модель в представлении знаний. Основная идея подхода при построении логических моделей представления знаний вся информация, необходимая для решения прикладных задач, рассматривается как… … Википедия
ГЕНЦЕНА ФОРМАЛЬНАЯ СИСТЕМА — логико математич. исчисление, служащее для формализации и исследования содержательных доказательств, оперирующих с допущениями (гипотезами). Введены Г. Генценом (G. Gentzen, |2]). Г. ф. с. делят на системы естественного вывода (или натуральные,… … Математическая энциклопедия
Восприятие (перцепция) (perception) — Под восприятием, или перцепцией, понимается как субъективный опыт получения сенсорной информации о мире людей, вещей и событий, так и те психол. процессы, благодаря к рым это совершается. Классическая теория Представление о том, что все наши… … Психологическая энциклопедия
Теория автоматического управления — Содержание 1 История 2 Основные понятия 3 Функциональн … Википедия
Теория — (греч. theoría, от theoréo рассматриваю, исследую) в широком смысле комплекс взглядов, представлений, идей, направленных на истолкование и объяснение какого либо явления; в более узком и специальном смысле высшая, самая развитая форма… … Большая советская энциклопедия
Генезис минералов — Учение о Г. минералов занимается процессами образования минералов. Минералы представляют из себя определенные химические соединения или изоморфные смеси таких соединений (см. Изоморфизм), образовавшиеся естественным путем на Земле. Это почти все… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
Соглашение — между сторонами при заключении договора считается состоявшимся только тогда, когда оно окончательно последовало по всем существенным пунктам договора, а также и по таким, которые сами стороны признали существенными. Заключению договора… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
Информационные системы — Информационная система (ИС) это система, реализующая информационную модель предметной области, чаще всего какой либо области человеческой деятельности. ИС должна обеспечивать: получение (ввод или сбор), хранение, поиск, передачу и обработку… … Википедия
Теоретическое знание — системно развитое, обобщенное представление о действительности, отображающее ее со стороны всеобщих и необходимых характеристик объектов. Т. з. представляет собой систему абстракций, способно к раскрытию своего предметного содержания в… … Социологический справочник
логика — ЛОГИКА (от греч. logik (logos) слово, разум, рассуждение) наука о правильных (корректных) рассуждениях. Традиционно рассуждение состоит из последовательности предложений, названных посылками, из которых следует единственное предложение,… … Энциклопедия эпистемологии и философии науки
